Undecidable Problems of Decentralized Observation and Control
نویسنده
چکیده
We introduce a new notion of decentralized observability for discrete-event systems, which we call joint observability. We prove that checking joint observability of a regular language w.r.t. one observer is decidable, whereas for two (or more) observers the problem becomes undecidable. Based on this result, we show that a related decentralized control problem is also undecidable. We finally provide an extensive study relating our work to existing work in the literature.
منابع مشابه
Undecidable problems of decentralized observation and control on regular languages
We introduce a decentralized observation problem, where the system under observation is modeled as a regular language L over a finite alphabet Σ and n subsets of Σ model distributed observation points. A regular language K ⊆ L models a set of distinguished behaviors, say, correct behaviors of the system. The objective is to check the existence of a function which, given the n observations corre...
متن کاملRecent Results on Computational Issues in Supervisory Control
We present and discuss the implications of recent results by several researchers on computational issues in supervisory control of discrete event systems. The first issue discussed is the boundary between decidability and undecidability in centralized and decentralized control problems for systems modeled by finite-state automata and subject to regular language specifications. The second issue ...
متن کاملAdaptive Observer-Based Decentralized Scheme for Robust Nonlinear Power Flow Control Using HPFC
This paper investigates the robust decentralized nonlinear control of power flow in a power system using a new configuration of UPFC. This structure comprises two shunt converters and one series capacitor called as hybrid power flow controller (HPFC). A controller is designed via control Lyapunov function (CLF) and adaptive observer to surmount the problems of stability such as tracking desired...
متن کاملDecentralized Fuzzy-PID Based Control Model for a Multivariable Liquid Level System
Multivariable liquid level control is essential in process industries to ensure quality of the product and safety of the equipment. However, the significant problems of the control system include excessive time consumption and percentage overshoot, which result from ineffective performance of the tuning methods of the PID controllers used for the system. In this paper, fuzzy logic was used to t...
متن کاملDecentralized Advanced Model Predictive Controller of Fluidized-Bed for Polymerization Process
The control of fluidized-bed operations processes is still one of the major areas of research due to the complexity of the process and the inherent nonlinearity and varying dynamics involved in its operation. There are varieties of problems in chemical engineering that can be formulated as NonLinear Programming (NLPs). The quality of the developed solution significantly affects the performa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001